Deadlock detection in MPI programs
نویسندگان
چکیده
The Message Passing Interface (MPI) is commonly used to write parallel programs for distributed memory parallel computers. MPI-CHECK is a tool developed to aid in the debugging of MPI programs that are written in free or fixed format Fortran 90 and Fortran 77. This paper presents the methods used in MPI-CHECK 2.0 to detect many situations where actual and potential deadlocks occur when using blocking and non-blocking point-to-point routines as well as when using collective routines.
منابع مشابه
Deadlock Detection in Basic Models of MPI Synchronization Communication Programs
Deadlock Detection in Basic Models of MPI Synchronization Communication Programs LIAO Ming-xue, FAN Zhi-hua (Institute of Software, the Chinese Academy of Sciences, Beijing 100080, China) Abstract: A model of MPI synchronization communication programs is presented and its three basic simplified models are also defined. A series of theorems and methods for deciding whether deadlocks will occur a...
متن کاملA Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Formal dynamic analysis of MPI programs is crucially important in the context of developing HPC applications. Existing dynamic verification tools for MPI programs suffer from exponential schedule explosion, especially when multiple non-deterministic receive statements are issued by a process. In this paper, we focus on detecting message-orphaning deadlocks within MPI programs. For this analysis...
متن کاملAlgorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model
廖名学,何晓新,范植华 (中国科学院软件研究所,北京海淀区中关村南四街 4 号 100080) 摘 要: 静态检测 MPI 程序同步通信死锁比较困难,通常需要建立程序模型。顺序模型是 其他所有复杂模型的基础。通过一种映射方法将顺序模型转化为字符串集合,将其死锁检测 问题转化为等价的多队列字符串匹配问题,从而设计并实现了一种 MPI 同步通信顺序模型 的静态死锁检测算法。算法时空复杂度均为 O(n),这里 n 是模型中消息的总数。算法性能 好于通常的环检测方法并能适应动态消息流。 关键词:MPI;算法;死锁;静态分析 Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model Liao Ming-Xue, He Xiao-Xin, Fan Zhi-Hua (In...
متن کاملVerifying Parallel Programs with MPI-Spin
Standard testing and debugging techniques are notoriously ineffective when applied to parallel programs, due to the numerous sources of nondeterminism arising from parallelism. MPI-Spin, an extension of the model checker Spin for verifying and debugging MPI-based parallel programs, overcomes many of the limitations associated with the standard techniques. By exploring all possible executions of...
متن کاملDeadlock Analysis of Unbounded Process Networks
Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers or do not scale. To enable the analysis of such programs, (1) we define an algorithm for detecting deadlocks of a basic model featuring recursion and fresh name generation: the lam programs, and (2) we design a type system for value pass...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Concurrency and Computation: Practice and Experience
دوره 14 شماره
صفحات -
تاریخ انتشار 2002